Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
331	Identifying groups of finite Morley rank with a split BN-pair of rank 1 Josh Wiscons University of Colorado, Boulder Josh Wiscons Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 10:49:35 Mathematical logic Model theory Logic Morley rank Constructible universe Von Neumann universe Limit ordinal Ordinal number Saturated model
332	Exact Sampling with Integer Linear Programs and Random Perturbations Carolyn Kim Ashish Sabharwal Stefano Ermon Add to Reading List Source URL: ai2-website.s3.amazonaws.com Language: English - Date: 2016-05-10 13:04:43 Mathematics Logic Abstraction Metalogic Model theory Structure Pattern language Indexed grammar
333	Archive for Mathematical Logic manuscript No. (will be inserted by the editor) Philipp Gerhardy · Ulrich Kohlenbach Extracting Herbrand Disjunctions by Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-08-23 06:37:32 Logic Mathematics Abstraction Mathematical logic Model theory Proof theory Semantics Term algebra First-order logic Interpretation Substitution Herbrandization
334	Towards Rigorously Faking Bidirectional Model Transformations Christopher M. Poskitt1? , Mike Dodds2 , Richard F. Paige2 , and Arend Rensink3 1 Department of Computer Science, ETH Z¨urich, Switzerland Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2014-09-01 11:29:33 Systems engineering Graph rewriting Unified Modeling Language Model transformation Data transformation Model checking Mathematical logic
335	Prof. Dr. Ulrich Kohlenbach Curriculum Vitae Ulrich Wilhelm Kohlenbach CURRENT AFFILIATION: Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2016-05-30 12:23:35 Formal sciences Metalogic Proof theory Philosophers of mathematics Mathematical logic Proof mining Logic Foundations of mathematics Workshop on Logic Language Information and Computation Mathematics Type theory Model theory
336	Research, Technology & Development Topical Interest Group www.eval.org Evaluating Outcomes of Publicly-Funded Research, Technology and Development Add to Reading List Source URL: higherlogicdownload.s3.amazonaws.com Language: English - Date: 2015-03-23 08:51:25 Education Evaluation Evaluation methods Methodology Impact assessment American Evaluation Association Educational psychology Program evaluation Management Logic model Performance measurement Educational assessment
337	Microsoft PowerPoint - Research Logic Model Revised.ppt [Read-Only] Add to Reading List Source URL: denversroadhome.org - Date: 2015-06-23 17:03:01
338	Building and Environment, Vol. 26, No. 1, pp, 91 $3.00+0.00 Pergamon Press plc. Printed in Great Britain. Add to Reading List Source URL: www.kmjn.org Language: English - Date: 2011-09-05 21:12:58 Engineering Computer-aided design Design engineering Conceptual model Representation theory Academia Mathematical model 3D modeling Logic programming User interface Duality Science and technology
339	École Doctorale de l’École polytechnique I NRIA THÈSE DE DOCTORAT Présentée par Add to Reading List Source URL: cedeela.fr Language: English - Date: 2015-10-28 05:35:30 Mathematical logic Mathematics Logic Boolean algebra First-order logic Propositional calculus FO Quantifier Boolean satisfiability problem True quantified Boolean formula Model theory Peano axioms
340	ON THE LOGICAL STRENGTHS OF PARTIAL SOLUTIONS TO MATHEMATICAL PROBLEMS LAURENT BIENVENU, LUDOVIC PATEY, AND PAUL SHAFER ABSTRACT. We use the framework of reverse mathematics to address the question of, given a mathematic Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-08-13 12:44:18 Computability theory Logic Proof theory Mathematics Mathematical logic Reverse mathematics Model theory Philosophy of mathematics Symbol Fixed-point theorems Primitive recursive functional Generalised Whitehead product

UPDATE